$\forall$$T$:Type, $P$:($T$$\rightarrow$Prop), $R_{1}$, $R_{2}$:($T$$\rightarrow$$T$$\rightarrow$Prop). when $P$, $R_{1}$ =$>$ $R_{2}$ $\in$ Prop